Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Rechnerarchitektur, eingebettete und massiv parallele Systeme |
| Keywords | applications of formal methods to comp. engineer., component based hardware description languages,, formal verification of hard- and software systems, nano-architectures, system level design languages |
Aktuelle Kontaktadresse
Gastgeber*innen während der Förderung
| Prof. Dr. Klaus Schneider | Fachbereich Informatik, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU), Kaiserslautern |
|---|---|
| Beginn der ersten Förderung | 01.05.2009 |
Programm(e)
| 2008 | Friedrich Wilhelm Bessel-Forschungspreis-Programm |
|---|
Publikationen (Auswahl)
| 2012 | Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla and Jean-Pierre Talpin Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. In: Springer Journal on Design Automation for Embedded Systems, 2012, 1-35 |
|---|---|
| 2011 | Brandt, J.; Gemunde, M.; Schneider, K.; Shukla, S.K.; Talpin, J.: Integrating system descriptions by clocked guarded actions. Proceedings of the Forum on Specification and Design Languages (FDL), 2011 . IEEE Xplore, 2011. 1-8 |
| 2010 | Jens Brandt, Klaus Schneider, and Sandeep K. Shukla: Translating concurrent action oriented specifications to synchronous guarded actions. . In: ACM SIGPLAN Notices, 2010, 47-56 |
| 2010 | Brandt, J.; Schneider, K.; Ahuja, S.; Shukla, S.K.; The Model Checking View to Clock Gating and Operand Isolation. Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD), 2010 . IEEE Computer Society, 2010. 181-190 |